| 1 | Ian G. Harris
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test, 20(4), July 2003. |
|
| | Abstract: The increasing use of hardware-software systems in cost-critical and life-critical applications has led to heightened
significance of design correctness of these systems. This article presents a summary of research in test generation and fault
models to support hardware-software covalidation. The covalidation problem involves the verification of design correctness
using simulation-based techniques. The article focuses on the test generation process for hardware-software systems and the
fault models which support test generation. |
| | @ARTICLE{Harris03,
author = {Ian G. Harris},
title = {Fault Models and Test Generation for Hardware-Software Covalidation},
journal = {IEEE Design & Test},
year = {2003},
month = {July},
volume = {20},
number = {4},
pages = {2003}
} |
| 2 | Ian G. Harris
Hardware-Software Covalidation: Fault Models and Test Generation
Proceedings of the 6th IEEE International High-Level Design Validation and Test Workshop (HLDVT'01)Monterey, California, 07-09 December 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Harris01,
author = {Ian G. Harris},
title = {Hardware-Software Covalidation: Fault Models and Test Generation},
booktitle = {Proceedings of the 6th IEEE International High-Level Design Validation and Test Workshop (HLDVT'01)},
year = {2001},
address = {Monterey, California},
month = {07-09 December},
pages = {151}
} |
| 3 | Qiushuang Zhang, Ian G. Harris
A Validation Fault Model for Timing-Induced Functional Errors
Proceedings of the International Test Conference 2001 (ITC'01)Baltimore, Maryland, 30 October- 01 November 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangH01,
author = {Qiushuang Zhang, Ian G. Harris},
title = {A Validation Fault Model for Timing-Induced Functional Errors},
booktitle = {Proceedings of the International Test Conference 2001 (ITC'01)},
year = {2001},
address = {Baltimore, Maryland},
month = {30 October- 01 November},
pages = {813}
} |
